<html>
<head><meta charset="utf-8"><title>miri is famous on HN · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html">miri is famous on HN</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="161862701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161862701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161862701">(Mar 27 2019 at 14:13)</a>:</h4>
<p><a href="/user_uploads/4715/rrdk-kfR9rDqr13TJFLKp1_T/pasted_image.png" target="_blank" title="pasted_image.png">pasted image</a> </p>
<div class="message_inline_image"><a href="/user_uploads/4715/rrdk-kfR9rDqr13TJFLKp1_T/pasted_image.png" target="_blank" title="pasted image"><img src="/user_uploads/4715/rrdk-kfR9rDqr13TJFLKp1_T/pasted_image.png"></a></div><p>/cc <span class="user-mention" data-user-id="120791">@RalfJ</span> <span class="user-mention" data-user-id="124288">@oli</span></p>



<a name="161862716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161862716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161862716">(Mar 27 2019 at 14:13)</a>:</h4>
<p>I was going to post it just now lol</p>



<a name="161862806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161862806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161862806">(Mar 27 2019 at 14:14)</a>:</h4>
<p>In my defense, I did it first on #rust-offtopic!</p>



<a name="161863002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161863002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161863002">(Mar 27 2019 at 14:16)</a>:</h4>
<p>I'm gonna try to recruit some Rust hackers as research assistants next week and make them work on miri :D</p>



<a name="161863072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161863072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161863072">(Mar 27 2019 at 14:17)</a>:</h4>
<p>:D</p>



<a name="161863086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161863086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161863086">(Mar 27 2019 at 14:17)</a>:</h4>
<p>any plans already on what they could be implementing?</p>



<a name="161863098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161863098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161863098">(Mar 27 2019 at 14:17)</a>:</h4>
<p>Could also start early and post it in that thread</p>



<a name="161863220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161863220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161863220">(Mar 27 2019 at 14:18)</a>:</h4>
<p>I have never been to HN</p>



<a name="161863328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161863328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161863328">(Mar 27 2019 at 14:19)</a>:</h4>
<blockquote>
<p>any plans already on what they could be implementing?</p>
</blockquote>
<p>everything! XD idk, my usual scheme is to give them some easy stuff to learn and then let them find what they think is the most fun</p>



<a name="161871778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/miri%20is%20famous%20on%20HN/near/161871778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/miri.20is.20famous.20on.20HN.html#161871778">(Mar 27 2019 at 15:39)</a>:</h4>
<blockquote>
<p>I have never been to HN</p>
</blockquote>
<p>No reason for you to go check out the comments; I'm basically just replying to everyone saying that I did all the hard work.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>